System Design Visualizations for Synthesizing Intent Specifications
نویسندگان
چکیده
Today’s aerospace industry is faced not only with the challenges of developing spacecraft and supporting technologies to explore the unknown, but they must do so successfully with tighter budgets and fewer personnel. Mission failure causes publicity that the industry cannot afford in this economy. To maintain project schedules and prevent budget overruns, problems in the spacecraft system design must be found early in the development stages. An approach to using existing system design visualizations to aid system verification and validation in the early design stages is described. These commonly used system design visualizations are used to create and intent specification in a systems engineering development environment known as SpecTRM. The intent specification is executable and analyzable, allowing system design flaws and requirements problems to be determined prior to any hardware or coding development. An example of the utilization of these system design visualizations to create an intent specification is applied to the mobility and positioning system (MAPS) of a robot designed to process thermal tiles on the space shuttle. Thesis Supervisor: Dr. Nancy G. Leveson Professor of Aeronautics and Astronautics
منابع مشابه
An Intent Specifications Model for a Robotic Software Control System
Intent specifications are a new way to structure specifications to support human problem solving, system and software development and evolution, traceability, and specification of design rationale. An intent specification provides a hierarchical abstraction based on intent ("why") in addition to the usual "what" and "how." For a given system being specified, an intent specification defines seve...
متن کاملEmpirical Evaluation of Design Principles for Increasing Reviewability of Formal Requirements Specifications through Visualization
As software systems become more pervasive in the aerospace industry, new techniques need to be developed that allow engineers to accurately review and understand the complex requirements specifications of these software systems. Several visualizations that provide a different view of formal specifications are proposed based on the experience of trying to manage the complexity of the MD-i 1 flig...
متن کاملBehavior and Design Intent Based Product Modeling
A knowledge based modeling of mechanical products is presented for industrial CAD/CAM systems. An active model is proposed that comprise knowledge from modeling procedures, generic part models and engineers. Present day models of mechanical systems do not contain data about the background of human decisions. This situation motivated the authors at their investigations on exchange design intent ...
متن کاملDVCon 2012: 131-II287: Low Power SoC Verification: IP Reuse and Hierarchical Composition using UPF
Power management is a critical feature of today’s SoCs, almost as important as functionality. IEEE 1801TM-2009 UPF enables specification of the intended power management infrastructure for an SoC to enable early verification and to drive implementation. Just as the complexity of an SoC demands a well-structured hierarchical approach to design and verification of its functional specification, th...
متن کاملProvenance of Exploratory Tasks in Scientific Visualization: Management and Applications
Visualization has emerged as an effective means to quickly obtain insight from raw data. While simple computer programs can generate simple visualizations, and while there has been constant progress in sophisticated algorithms and techniques for generating insightful pictorial descriptions of complex data, the process of building visualizations remains a major bottleneck in data exploration. In...
متن کامل